Chinese translation for "herbrand base"

海尔勃朗基

Related Translations:

herbrand:  海伯伦

herbrand interpretation:  海尔勃朗解释

herbrand theorem:  海尔勃朗定理

jacques herbrand:  雅克斯赫尔不兰特

herbrand universe:  海尔勃朗全域

herbrand tools corp:  赫布兰德工具公司

Example Sentences:

1.

A member of the herbrand base is called atom in automatic theorem proving 在自动定理证明中,海尔勃朗基的成员也称为原子。

Similar Words：

"herboth" Chinese translation, "herbout" Chinese translation, "herbouze" Chinese translation, "herbovelay" Chinese translation, "herbrand" Chinese translation, "herbrand interpretation" Chinese translation, "herbrand theorem" Chinese translation, "herbrand tools corp" Chinese translation, "herbrand universe" Chinese translation, "herbrand-ribet" Chinese translation